#ifndef __EXC_H__
#define __EXC_H__

#include <types.h>

void init_exc();

#endif	/* __EXC_H__ */

